proper ideal

真理想